Revision: tla-tools--devo--0--patch-70
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Sat Sep 20 19:17:51 EDT 2003
Standard-date: 2003-09-20 23:17:51 GMT
Modified-files: ChangeLog
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-70
    miles@gnu.org--gnu-2003/tla-tools--x--0--base-0
Summary: Include patch-log for tla-tools--x--0--base-0

This just makes merging a bit cleaner.
